LatestVersion plugin is obsolete. Updater works.
We should get rid of LatestVersion and package Updater with core.
| Submitted | ezust - 2010-02-13 - 21:41:43z | Assigned | nobody |
|---|---|---|---|
| Priority | 7 | Category | None |
| Status | Open | Group | None |
| Resolution | None | Visibility | No |
| 2010-02-13 - 23:06:45z ezust |
Well, I started working on this. The approach I took was, to first svn propedit svn:externals in the "jars" directory, and I added Updater to that. But then I realized CommonControls is needed by Updater. So that would mean we need to roll CommonControls into jEdit core too. So I added that to the jars also as an svn externals, But now the problem is, what happens when a newer version is available on the plugin manager? Then there will be 2 installed copies in different folders, so I have not yet determined how to resolve that issue. |
|---|---|
| 2010-02-16 - 23:23:26z ezust |
removed latest version from trunk. |
| 2012-03-11 - 23:38:51z ezust |
Re-opening now that jEdit 5.0 can disable older pre-installed plugins in favor of
newer ones in the settings dir. |
| 2012-05-31 - 18:15:46z ezust |
Assigning to Jarek. This should be included only in the java jar installer and the windows installer. the .deb installer should not have it since it won't work. |